How to Repair Type Errors Automatically
نویسنده
چکیده
This chapter introduces a novel system for generating type error messages which suggest ways of repairing mistakes. Both the theory behind this, and the implementation (as part of the MLj compiler) are described. 1.
منابع مشابه
Identification and Evaluation of Human Errors in Locomotive Maneuvers Using the SHERPA Technique: A Case Study in a Rail Operation Repair and Development Project
Background and Aims: despite complex technologies in many work environments, human errors are of great importance due to leading to severe and catastrophic accidents. Therefore, in order to prevent and limit the consequences of human error, it seems necessary to identify and find the causes of them. The aim of this study was to identify and evaluate the human errors of locomotive maneuvers in t...
متن کاملUsing Natural Language Processing and discourse Features to Identify Understanding Errors
While it has recently become possible to build spoken dialogue systems that interact with users in real-time in a range of domains, systems that support conversational natural language are still subject to a large number of spoken language understanding (SLU) errors. Endowing such systems with the ability to reliably distinguish SLU errors from correctly understood utterances might allow them t...
متن کاملClassroom Repair Practices and Reflective Conversations: Longitudinal Interactional Changes
For many English as a Foreign Language (EFL) teachers working contingently with language learners’ problematic learner contributions in classroom interaction still remains a challenge. Drawing on conversation analysis methodology and using sociocultural and situated learning theories, this longitudinal case study traces the progressional changes in one Iranian English language teacher’s repairi...
متن کاملImprove Record Linkage Using Active Learning Techniques
Record linkage is a crucial step in data integration and data mining. It has been studied extensively in the past several decades due to its wide-spread applications in e-commerce, healthcare, social sciences and so on. However, many record linkage models are not satisfactory in practice as they neglect an important aspect, which is how to repair the errors that are detected later on in the lin...
متن کاملExterminator: Automatically Correcting Memory Errors
Programs written in C and C++ are susceptible to memory errors, including buffer overflows and dangling pointers. These errors, which can lead to crashes, erroneous execution, and security vulnerabilities, are notoriously costly to repair. Tracking down their location in the source code is difficult, even when the full memory state of the program is available. Once the errors are finally found,...
متن کامل